Petri-net-based 2D design of DNA walker circuits
نویسندگان
چکیده
منابع مشابه
Teamwork Design Based on Petri Net Plans
This paper presents an implementation of cooperative behaviors based on Cohen’s and Levesque’s Joint Commitment Theory through Petri Net Plans. Petri Net Plans formalism is used for the design of multi-robot plans, embodying the guidelines for the design of teamwork provided by the theory. Petri Net Plans are able to represent complex plans in highly dynamic, partially observable and unpredicta...
متن کاملPetri Net Based Diagnosis for Construction Design
In this paper we propose a Petri net within a diagnosis system for construction design. We assimilate the construction process with an assembly process that composes parts and/or subassemblies into a unique product. We assume that the assembly supervisor (AS) system is distributed, and it solves several local AS attached to the nodes of the Petri net model of the assembly process. The research ...
متن کاملOn Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Molecular programming is an emerging field concerned with building synthetic biomolecular computing devices at the nanoscale, for example from DNA or RNA molecules. Many promising applications have been proposed, ranging from diagnostic biosensors and nanorobots to synthetic biology, but prohibitive complexity and imprecision of experimental observations makes reliability of molecular programs ...
متن کاملOptimal Petri Net Monitor Design
The classical partition of the event set into controllable and uncontrollable events from supervisory control theory is replaced by introducing the concept of control and observation cost of an event. This leads naturally to consider an optimal control problem for a given logical control specification. On the other hand, if we consider a timed model a performance optimization may be considered ...
متن کاملPetri net based scheduling
Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Computing
سال: 2018
ISSN: 1567-7818,1572-9796
DOI: 10.1007/s11047-018-9671-4